]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d5c743) | patch
extensions-tool: Add 'uninstall' command
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 11 Jul 2019 20:35:49 +0000 (22:35 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 21 Aug 2019 16:28:02 +0000 (18:28 +0200)
commit2df77579058192a606b39ef6991897b8406a7ac5
tree87b03ea7c92a0c660d3ad6a7393c3bbca075f266tree | snapshot
parent9d5c743a98e8c1dadafd2a3a22b5ac9a08e8b435commit | diff
extensions-tool: Add 'uninstall' command

Uninstall is another action that can be useful from the command line,
so expose that as well.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
src/extensions-tool/command-uninstall.c [new file with mode: 0644] blob
src/extensions-tool/commands.h diff | blob | history
src/extensions-tool/completion/bash/gnome-extensions diff | blob | history
src/extensions-tool/main.c diff | blob | history
src/extensions-tool/man/gnome-extensions.txt diff | blob | history
src/extensions-tool/meson.build diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.